#include <arch.h>
#include <types.h>

uint64_t arch_mem_total()
{
	
	return 10000;
}

uint8_t arch_init()
{

	return 0;
}


void arch_shutdown()
{

}



void arch_reboot()
{


}


void arch_standby()
{


}
